|
__NOTOC__ Joseph Amadee Goguen (28 June 1941 – 3 July 2006) was an American computer scientist. He was professor of Computer Science at the University of California and Oxford University and held research positions at IBM and SRI International. Goguen's work was one of the earliest approaches to the algebraic characterization of abstract data types and he originated and helped develop the OBJ family of programming languages.〔〔 He was author of ''A Categorical Manifesto'' and founder〔Burstall R.: My friend Joseph Goguen. In K. Futatsugi et al. (Eds.): ''Goguen Festschrift'', Springer-Verlag, Lecture Notes in Computer Science 4060:25–30, 2006.〕 and Editor-in-Chief of the ''Journal of Consciousness Studies''. His development of institution theory impacted the field of universal logic.〔Razvan Diaconescu, "Three decades of institution theory" in Universal Logic: An Anthology edited by Jean-Yves Béziau 2012 Springer ISBN 978-3-0346-0144-3 pp 309-322〕〔T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, "What is a Logic?", '. In Jean-Yves Beziau (Ed.), (Logica Universalis: Towards a General Theory of Logic ), pp. 113–133. Birkhäuser, Basel, 2005, 2nd Edition 2007.〕 Standard implication in product fuzzy logic is often called "Goguen implication".〔Hájek P.: ''Metamathematics of Fuzzy Logic.'' Kluwer, Dordrecht, 1998, sect. 2.1. ISBN 0-7923-5238-6.〕 "Goguen categories" are named after him.〔Michael Winter "Goguen Categories:A Categorical Approach to L-fuzzy Relations" 2007 Springer ISBN 9781402061639〕 〔Michael Winter "Representation theory of Goguen categories" Fuzzy Sets and Systems Volume 138, Issue 1, 16 August 2003, Pages 85–126〕 ==Education and academic career== Goguen received his Bachelor's degree in mathematics from Harvard University in 1963, and his PhD in mathematics from the University of California, Berkeley in 1968, where he was a student of the founder of fuzzy set theory Lotfi Zadeh.〔Zadeh L.A.: Joseph Amadee Goguen (1941–2006)—A personal tribute. ''Fuzzy Sets and Systems'' 158:809–810, 2007. 〕 He taught at UC Berkeley, the University of Chicago and University of California, Los Angeles, where he was a full professor of computer science.〔〔 He held a Research Fellowship in the Mathematical Sciences at the IBM Watson Research Center, where he organized the "ADJ" group.〔Goguen, J.A. "Memories of ADJ - Computer Science and Engineering" Bulletin of the European Association for Theoretical Computer Science, Number 36, October 1989 36:96-102〕 He also visited the University of Edinburgh in Scotland on three Senior Visiting Fellowships.〔 From 1979 to 1988, Goguen worked at SRI International in Menlo Park, California. From 1988 to 1996, he was a professor at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in England and a Fellow at St Anne's College, Oxford.〔 In 1996 he became professor of Computer Science at the University of California, San Diego.〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Joseph Goguen」の詳細全文を読む スポンサード リンク
|